Propositional Logic; Predicates and Quantifiers; Proof technology; Mathematical Induction; Set Theory; Relations; Functions; Counting; Recursion; Graph Theory; Path, Circuit and Trees. -- Course Website
Prerequisites: 1920 (v.8)<br/> Object Oriented Program Design 110<br/> <br/> or any previous version